Lebesgue convergence theorem proof